H ? « ‹ ← → › »

Language peer sets for Mizar PC:
Poland↑
Poland/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Mizar PC(ID:7823/)

alternate simple view
Country: Poland
Designed 1990

PC implementation of Mizar
Related languages
Mizar → Mizar PC   Port
References:
  • Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992 Extract: Intro Extract: History of Mizar
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder